-
1 negation of conjunction
Большой англо-русский и русско-английский словарь > negation of conjunction
-
2 negation of conjunction
Математика: отрицание конъюнкцииУниверсальный англо-русский словарь > negation of conjunction
-
3 negation of conjunction
мат.English-Russian scientific dictionary > negation of conjunction
-
4 negation
-
5 conjunction
1) конъюнкция, логическое умножение2) связывание, сцепление, соединение; сопряжение4) пересечение дорог, перекрёсток• -
6 law
1) закон3) правило4) принцип•under the law — по закону, согласно закону, в соответствии с законом
- Biot law- converse law of double negation- cube law- distributive law of disjunction over conjunction - double law of the mean - fifth power law - first distributive law - first law of mean- gas law- idempotency law - infinitely decomposable law - infinitely divisible law - inverse sine law - inverse square law - law of addition of probability - law of alteration of quantifiers - law of associativity of disjunction - law of comparative judgment - law of constant angles - law of double complementation - law of equal significance - law of mass action - law of random function - law of random vector - law of requisite variety - law of right invertibility - law of statistical regularity - law of universal causation - law of universal gravitation - Newton's first law of motion - Newton's law of gravitation - Newton's second law of motion - Newton's third law of motion - normal law of composition - normal law of errors - one-sided modular law - probabilistic law - probability law - product law of probability - quadratic reciprocity law - second law of mean - second order law - similitude law- time law- weak law -
7 law
1) закон; правило; принцип2) закон, закономерность3) формула4) теорема•- commutative law
- data privacy law
- distributive law of conjunction over disjunction
- distributive law of disjunction over conjunction
- distributive law
- exponential law
- Gaussian distribution law
- Gaussian law
- index laws
- law of absorption
- law of contraposition
- law of De Morgan
- law of development
- law of double negation
- law of excluded middle
- law of identity
- law of large numbers
- law of reduction ad absurdum
- law of requisite variety
- law of simple proportions
- law of sines
- law of small numbers
- law of triple negation
- Murphy's law
- Parkinson's law
- reciprocity law
- reflexive law
- self-distributive law
- symmetry law
- transitive lawEnglish-Russian dictionary of computer science and programming > law
-
8 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule -
9 symbol
1) знак2) обозначение3) символ, символическое обозначение•- power residue symbol - symbol of unit - symbol of virtual intersection -
10 event
nounсобытие nalgebra of events алгебра f событийcomplement of an event дополнительное / противоположное событиеconjunction of events совмещение n событийfrequency of a random event частота f случайного событияindicator of an event индикатор m событияintersection of events пересечение m событийrecurrent event рекуррентное/возвратное событиеspace of elementary events пространство m элементарных событий/исходовsum of events сумма f /объединение m событийunion of events объединение m /сумма f событийАнглийский-русский словарь по теории вероятностей, статистике и комбинаторике > event
-
11 functor
вчтфунктор, оператор над типами ( в теории категорий)- additive functor
- algebraic functor
- amnestic functor
- balanced functor
- bijective functor
- binary functor
- canonic functor
- closed functor
- complete functor
- composition functor
- conjunction functor
- derived functor
- disjunction functor
- embedding functor
- extensional functor
- family functor
- free functor
- hereditary functor
- homology functor
- homotopy functor
- immersion functor
- inclusion functor
- injective functor
- intensional functor
- logical functor
- negation functor
- one-place functor
- open functor
- product functor
- projective functor
- Radon functor
- resolvent functor
- singular functor
- statement functor
- sum functor
- surjective functor
- two-place functor
- unary functor
- zero-argument functor -
12 gate
1) логический элемент, ЛЭ; (логическая) схема; проф. вентиль; шлюз || управлять (напр. работой устройства) с помощью логических элементов или логических схем; использовать логические элементы или логические схемы2) селекторный импульс, стробирующий импульс, строб-импульс || осуществлять селекцию во времени; стробировать4) затвор (напр. полевого транзистора)5) пп управляющий электрод (напр. тиристора)•to gate in — вводить ( сигнал)
to gate out — выделять ( сигнал)
- gate A20- alternative denial gate
- amplitude gate
- AND gate
- AND-INVERT gate
- AND-NOT gate
- anode gate
- back gate
- biconditional gate
- binary-logic gate
- bottom gate
- burst gate
- call gate
- capacitor-resistor-diode gate
- cathode gate
- clocked gate
- CML gate
- coincidence gate
- complement gate
- conjunction gate
- control gate
- CRD gate
- current-field-access swap gate
- current-mode gate
- current-mode logic gate
- difference gate
- diode gate
- diode-transistor logic gate
- discrete gate
- disjunction gate
- dispersion gate
- diversity gate
- DTL gate
- dual gate
- EITHER-OR gate
- emitter-coupled gate
- enabling gate
- equality gate
- equivalence gate
- equivalent gate
- except gate
- exclusive NOR gate
- exclusive OR gate
- fault-free gate
- faulty gate
- ferroelectric light gate
- film gate
- floating gate
- flux gate
- GaAs logic gate
- guard gate
- IC logic gate
- identity gate
- if-A-then-NOT-B gate
- I2L gate
- in gate
- inclusive NOR gate
- inclusive OR gate
- indicator gate
- information gate
- inhibition gate
- input gate
- insulated gate
- integrated injection logic gate
- interrupt gate
- inverting logic gate
- joint denial gate
- Josephson logic gate
- Josephson-junction logic gate
- junction gate
- latching Boolean gate
- logic gate
- logical gate
- magnetic gate
- majority gate
- match gate
- meshed gate
- metal gate
- metal-oxide-semiconductor gate
- mix gate
- molibdenum gate
- MOS gate
- multiemitter gate
- multiple-level gate
- multiple-level logic gate
- NAND gate
- n-channel silicon gate
- negation gate
- negative AND -gate
- negative OR gate
- negative unate gate
- NEITHER-NOR gate
- N-input gate
- nitride gate
- NMOS silicon gate
- noise gate
- nonconjunction gate
- nondisjunction gate
- nonequality gate
- nonequivalence gate
- nonunate gate
- NOR gate
- NOT gate
- NOT-AND gate
- one-nanosecond gate
- opaque gate
- optical gate
- OR gate
- OTHER-OR gate
- out gate
- outer gate
- overlapping gates
- p-channel silicon gate
- PMOS silicon gate
- p-n junction gate
- polysilicon gate
- positive unate gate
- primitive logic gate
- pulse gate
- range gate
- readout gate
- refractory gate
- replicate gate
- resistive insulated gate
- resistively connected gates
- resistor-transistor logic gate
- RTL gate
- sampling gate
- scan gate
- sealed gate
- searching gate
- self-aligned gate
- self-registered gate
- Shottky gate
- Shottky-barrier gate
- silicon gate
- stacked gate
- stated gate
- stateful gate
- stateless gate
- storage gate
- substrate gate
- swap gate
- synchronous gate
- task gate
- threshold gate
- thyratron gate
- time gate
- T2L gate
- top gate
- transfer gate
- transistor-transistor logic gate
- trap gate
- TTL gate
- tunneling cryotron gate
- variable-threshold gate
- V-groove MOS gate
- video gate
- VMOS gate
- write gate
- XNOR gate
- XOR gate
- zero-match gate -
13 functor
вчт.функтор, оператор над типами ( в теории категорий)- algebraic functor
- amnestic functor
- balanced functor
- bijective functor
- binary functor
- canonic functor
- closed functor
- complete functor
- composition functor
- conjunction functor
- derived functor
- disjunction functor
- embedding functor
- extensional functor
- family functor
- free functor
- functor of points
- hereditary functor
- homology functor
- homotopy functor
- immersion functor
- inclusion functor
- injective functor
- intensional functor
- logical functor
- negation functor
- one-place functor
- open functor
- product functor
- projective functor
- Radon functor
- resolvent functor
- singular functor
- statement functor
- sum functor
- surjective functor
- two-place functor
- unary functor
- zero-argument functorThe New English-Russian Dictionary of Radio-electronics > functor
-
14 gate
1) логический элемент, ЛЭ; (логическая) схема; проф. вентиль; шлюз || управлять (напр. работой устройства) с помощью логических элементов или логических схем; использовать логические элементы или логические схемы2) селекторный импульс, стробирующий импульс, строб-импульс || осуществлять селекцию во времени; стробировать4) затвор (напр. полевого транзистора)5) пп. управляющий электрод (напр. тиристора)•to gate in — вводить ( сигнал)
- amplitude gateto gate out — выделять ( сигнал), to gate through пропускать ( сигнал)
- AND gate
- AND-INVERT gate
- AND-NOT gate
- anode gate
- back gate
- biconditional gate
- binary-logic gate
- bottom gate
- burst gate
- call gate
- capacitor-resistor-diode gate
- cathode gate
- clocked gate
- CML gate
- coincidence gate
- complement gate
- conjunction gate
- control gate
- CRD gate
- current-field-access swap gate
- current-mode gate
- current-mode logic gate
- difference gate
- diode gate
- diode-transistor logic gate
- discrete gate
- disjunction gate
- dispersion gate
- diversity gate
- DTL gate
- dual gate
- EITHER-OR gate
- emitter-coupled gate
- enabling gate
- equality gate
- equivalence gate
- equivalent gate
- except gate
- exclusive NOR gate
- exclusive OR gate
- fault-free gate
- faulty gate
- ferroelectric light gate
- film gate
- floating gate
- flux gate
- GaAs logic gate
- gate A20
- guard gate
- I2L gate
- IC logic gate
- identity gate
- if-A-then-NOT-B gate
- in gate
- inclusive NOR gate
- inclusive OR gate
- indicator gate
- information gate
- inhibition gate
- input gate
- insulated gate
- integrated injection logic gate
- interrupt gate
- inverting logic gate
- joint denial gate
- Josephson logic gate
- Josephson-junction logic gate
- junction gate
- latching Boolean gate
- logic gate
- logical gate
- magnetic gate
- majority gate
- match gate
- meshed gate
- metal gate
- metal-oxide-semiconductor gate
- mix gate
- molibdenum gate
- MOS gate
- multiemitter gate
- multiple-level gate
- multiple-level logic gate
- NAND gate
- n-channel silicon gate
- negation gate
- negative AND-gate
- negative OR gate
- negative unate gate
- NEITHER-NOR gate
- N-input gate
- nitride gate
- NMOS silicon gate
- noise gate
- nonconjunction gate
- nondisjunction gate
- nonequality gate
- nonequivalence gate
- nonunate gate
- NOR gate
- NOT gate
- NOT-AND gate
- one-nanosecond gate
- opaque gate
- optical gate
- OR gate
- OTHER-OR gate
- out gate
- outer gate
- overlapping gates
- p-channel silicon gate
- PMOS silicon gate
- p-n junction gate
- polysilicon gate
- positive unate gate
- primitive logic gate
- pulse gate
- range gate
- readout gate
- refractory gate
- replicate gate
- resistive insulated gate
- resistively connected gates
- resistor-transistor logic gate
- RTL gate
- sampling gate
- scan gate
- sealed gate
- searching gate
- self-aligned gate
- self-registered gate
- Shottky gate
- Shottky-barrier gate
- silicon gate
- stacked gate
- stated gate
- stateful gate
- stateless gate
- storage gate
- substrate gate
- swap gate
- synchronous gate
- T2L gate
- task gate
- threshold gate
- thyratron gate
- time gate
- top gate
- transfer gate
- transistor-transistor logic gate
- trap gate
- TTL gate
- tunneling cryotron gate
- variable-threshold gate
- V-groove MOS gate
- video gate
- VMOS gate
- write gate
- XNOR gate
- XOR gate
- zero-match gateThe New English-Russian Dictionary of Radio-electronics > gate
-
15 gate
1) вентиль; (вентильная) схема; логический элемент2) стробирующий импульс; строб-импульс || стробировать; пропускать; управлять пропусканием; управлять отпиранием•- gate through- A AND-NOT B gate
- A except B gate
- A ignore B gate
- A ignore B negative gate
- A implies B gate
- A implies B negative gate
- A OR-NOT B gate
- add gate
- add without carry gate
- addend-in gate
- adder gate
- all or nothing gate
- alternation gate
- alternative denial gate
- amplitude gate
- AND - NOT gate
- AND gate
- AND-to-AND gate
- AND-to-OR gate
- anticoincidence gate
- any but not all gate
- any or all gate
- augend-in gate
- B AND-NOT A gate
- B except A gate
- B ignore A gate
- B ignore A negative gate
- B implies A gate
- B implies a negative gate
- B OR-NOT A gate
- basic gate
- biconditional gate
- Boolean gate
- bud isolation gates
- carry gate
- cascaded gates
- C-gate
- coincidence gate
- complement gate
- conditional implication gate
- conjunction gate
- controllable gate
- crowded gate
- decision gate
- difference gate
- differential gate
- diode gate
- disjunction gate
- dispersion gate
- distance gate
- diversity gate
- don't care gate
- double-input gate
- dual gate
- EITHER-OR gate
- emitter-coupled gate
- equality gate
- equivalence gate
- equivalent gate
- eraser gate
- except gate
- exclusive NOR gate
- exclusive OR gate
- exjunction gate
- fault tree gate
- front-end gate
- gate between channels
- generator gate
- glue-type gate
- identity gate
- if A then B gate
- if A then NOT B gate
- IF-THEN gate
- ignore gate
- implication gate
- inclusion gate
- inclusive NOR gate
- inclusive OR gate
- inequivalence gate
- inhibitory gate
- insulated gate
- intersection gate
- inverted AND gate
- inverting gate
- isolated gate
- join gate
- joint denial gate
- locking gate
- logic product gate
- logic sum gate
- logical gate
- logic gate
- low-power gate
- majority decision gate
- majority gate
- match gate
- matrix gate
- mix gate
- modulo-two sum gate
- multiplicand gate
- NAND gate
- negation gate
- negative AND gate
- negative OR gate
- NEITHER-NOR gate
- N-input gate
- nonconjunctive gate
- nondisjunction gate
- nonequality gate
- nonequivalence gate
- NOR gate
- NOT gate
- NOT-AND gate
- NOT-both gate
- NOT-IF-THEN gate
- null gate
- one gate
- open-collector gate
- OR gate
- OR-ELSE gate
- OR-to-AND gate
- OR-to-OR gate
- partial sum gate
- positive AND gate
- positive OR gate
- priority AND gate
- pulse gate
- pulse-train gate
- quad gate
- readout gate
- reconvergent gate
- rejection gate
- self-aligned gate
- Sheffer stroke gate
- shift gate
- silicon gate
- spare gate
- special gate
- sum readout gate
- sum-out gate
- swap gate
- symmetric difference gate
- threshold gate
- time gate
- true gate
- two-input gate
- union gate
- voltage sensitive gate
- wired gate
- zero gate
- zero-match gateEnglish-Russian dictionary of computer science and programming > gate
-
16 functor
-
17 operation
1) действие2) операция3) оперирование4) процесс, ход5) работа, функционирование6) срабатывание7) управление8) эксплуатация•- hereditarily recursive operationoperation under VFR — авиац. визуальное самолётовождение
-
18 sign
1) знак; символ || знаковый2) признак, след3) обозначение || обозначать5) отмечать; помечать6) подписывать•of constant signs — матем. знакопостоянный
to reverse a sign — матем. менять знак
to sign a contract — заключать договор; подписывать контракт
to sign on — радио начинать сеанс связи
- greater than-equal sign - less than-equal sign - much less sign - reverse implication signto sign off — радио заканчивать сеанс связи
См. также в других словарях:
Negation — For other uses, see Negation (disambiguation). In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is… … Wikipedia
Minimal negation operator — In logic and mathematics, the minimal negation operator u! is a multigrade operator ( u {k}) {k in mathbb{N where each u {k}! is a k ary boolean function defined in such a way that u {k}(x 1, ldots , x k) = 1 if and only if exactly one of the… … Wikipedia
Logical conjunction — ∧ redirects here. For exterior product, see exterior algebra. Venn diagram of … Wikipedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Complexity class — In computational complexity theory, a complexity class is a set of problems of related resource based complexity. A typical complexity class has a definition of the form: the set of problems that can be solved by an abstract machine M using… … Wikipedia
Craig interpolation — In mathematical logic, Craig s interpolation theorem is a result about the relationship between different logical theories. Roughly stated, the theorem says that if a formula φ implies a formula ψ then there is a third formula ρ, called an… … Wikipedia
positivism — positivist, adj., n. positivistic, adj. positivistically, adv. /poz i teuh viz euhm/, n. 1. the state or quality of being positive; definiteness; assurance. 2. a philosophical system founded by Auguste Comte, concerned with positive facts and… … Universalium
T-norm fuzzy logics — are a family of non classical logics, informally delimited by having a semantics which takes the real unit interval [0, 1] for the system of truth values and functions called t norms for permissible interpretations of conjunction. They are mainly … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
